Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.

采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。

youdao

FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.

FSP是一类描述并发程序形式化规约的进程代数记法。

youdao

Secondly, formal modeling method of system survivability based on performance evaluation process algebra is studied.

其次，研究基于性能评估进程代数的系统生存性形式化建模方法。

youdao

This progression signals a growing ability to cope with formal education, not just in algebra but also in the humanities.

WSJ: Are We Really Getting Smarter? Why IQ Scores Keep Rising